9

Transverse laser cooling of ions in a storage ring

Year:
1996
Language:
english
File:
PDF, 449 KB
english, 1996
14

Linear realizability and full completeness for typed lambda-calculi

Year:
2005
Language:
english
File:
PDF, 579 KB
english, 2005
15

Preface

Year:
2004
Language:
english
File:
PDF, 72 KB
english, 2004
16

Functors Determined by Values on Objects

Year:
2006
Language:
english
File:
PDF, 320 KB
english, 2006
18

Physics with Polarized Antiprotons

Year:
2006
Language:
english
File:
PDF, 330 KB
english, 2006
22

A Framework for Defining Logical Frameworks

Year:
2007
Language:
english
File:
PDF, 704 KB
english, 2007
24

Category theory for operational semantics

Year:
2004
Language:
english
File:
PDF, 259 KB
english, 2004
25

A type assignment system for game semantics

Year:
2008
Language:
english
File:
PDF, 454 KB
english, 2008
35

Semantical analysis of perpetual strategies in λ-calculus

Year:
1999
Language:
english
File:
PDF, 1.81 MB
english, 1999
36

Generalized Coiteration Schemata

Year:
2003
Language:
english
File:
PDF, 234 KB
english, 2003
40

Preface: Volume 62

Year:
2002
Language:
english
File:
PDF, 45 KB
english, 2002
41

Preface: Volume 44, Issue 1

Year:
2001
Language:
english
File:
PDF, 47 KB
english, 2001
46

Properties of Set Functors

Year:
2004
Language:
english
File:
PDF, 359 KB
english, 2004
48

Some Properties and Some Problems on Set Functors

Year:
2006
Language:
english
File:
PDF, 368 KB
english, 2006